Aristotle, Boole, and Categories Vaughan Pratt October 12, 2015 Abstract We propose new axiomatizations of the 24 assertoric syllogisms of Arisn totle’s syllogistic, and the 22 n-ary operations of Boole’s algebraic l

Source URL: boole.stanford.edu

• Logic
• Classical logic
• Arguments
• Term logic
• Syllogism
• Rules of inference
• Propositional calculus
• Axiom
• Hypothetical syllogism
• Disjunctive syllogism
• Inference
• First-order logic

First-order satisfiability in Gödel logics: an NP-complete fragment Matthias Baaza,1 , Agata Ciabattonia,2 , Norbert Preininga,b,3 a b

Source URL: www.preining.info

• Logic
• Mathematical logic
• Abstraction
• Model theory
• Non-classical logic
• Logic in computer science
• Predicate logic
• First-order logic
• Boolean satisfiability problem
• Gdel numbering
• Many-valued logic
• Kripke semantics

First-order logic with reachability for infinite-state systems Emanuele D’Osualdo Georg Zetzsche ∗ Roland Meyer

Source URL: www.lsv.ens-cachan.fr

Two-variable first order logic with modular predicates over words∗ Luc Dartois1 and Charles Paperman1 1 LIAFA, Universit´

Source URL: drops.dagstuhl.de

ACCESSIBLE INDEPENDENCE RESULTS FOR PEANO ARITHMETIC LAURIE KIRBY AND JEFF PARIS Recently some interesting first-order statements independent of Peano Arithmetic (P) have been found. Here we present perhaps the first whi

Source URL: logic.amu.edu.pl

TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM, 4–8 JulyInstitut fur

Source URL: www.tableaux11.unibe.ch

• Logic
• Mathematical logic
• Theoretical computer science
• Automated theorem proving
• Proof theory
• Methods of proof
• International Workshop on First-Order Theorem Proving
• Melvin Fitting
• Natural deduction
• Sequent calculus
• Modal logic
• Method of analytic tableaux

Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l

Source URL: folk.uib.no

• Logic
• Mathematical logic
• Abstraction
• Model theory
• Formal languages
• Logical truth
• Metalogic
• First-order logic
• Interpretation
• Substitution
• Well-formed formula
• Satisfiability

From Separation Logic to First-Order Logic Cristiano Calcagno Philippa Gardner Matthew Hague

Source URL: www.cs.rhul.ac.uk

Interface Transparency and the Psychosemantics of most Jeffrey Lidz, University of Maryland Justin Halberda, Johns Hopkins University Paul Pietroski, University of Maryland Tim Hunter, University of Maryland Contact Info

Source URL: ling.umd.edu

• Logic
• Philosophy
• Abstraction
• Semantics
• Philosophy of language
• Philosophical logic
• Meaning
• Quantification
• Model theory
• Truth condition
• First-order logic
• Generalized quantifier

LNCSFrom Separation Logic to First-Order Logic

Source URL: www.cs.rhul.ac.uk